Kripke semantics - PDFSEARCH.IO - Document Search Engine

Kripke semantics
Results: 182

#	Item
51	I:/Ganesh/Research/AAAI2010/santhanam-aaai2010/santhanam-aaai2010.dvi Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2010-07-12 23:06:40 Model theory NuSMV Constructible universe Kripke semantics Mathematical logic Logic Mathematics
52	Social Laws for Multi-Agent Systems: Logic and Games.5cm Lecture 1: Specifying and verifying state-transition models Add to Reading List Source URL: www.nii.ac.jp Language: English* - Date: 2012-02-02 20:36:54 Mathematics Philosophical logic Kripke semantics Model theory Sheaf theory Model checking Temporal logic Agent-based model Economic model Logic Mathematical logic Modal logic
53	Article title: A modal type theory for formalizing trusted communications Reference: JAL252 Journal title: Journal of Applied Logic Corresponding author: Dr. Giuseppe Primiero First author: Dr. Giuseppe Primiero Online p Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2012-03-03 10:07:20 Modal logic Semantics Model theory Branches of philosophy Epistemic modal logic Common knowledge Kripke semantics Modal operator Trust Logic Mathematical logic Philosophical logic
54	A modal language for contextual computations Giuseppe Primiero FWO - Research Foundation Flanders Centre for Logic and Philosophy of Science University of Ghent (Belgium) June 27, 2012 Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2012-06-27 07:55:59 Model theory Proof theory Propositional calculus Natural deduction Entailment Modal logic Interpretation Valuation Kripke semantics Logic Philosophical logic Deduction
55	Five Questions on Epistemic Logic John F. Sowa This is a preprint of Chapter 23 in Epistemic Logic: 5 Questions, edited by Vincent F. Hendricks & Olivier Roy, Automatic Press, New York, 2010, pp[removed]Why were you Add to Reading List Source URL: www.jfsowa.com Language: English - Date: 2010-11-10 10:18:59 Modal logic Philosophical logic Charles Sanders Peirce Logicians Existential graph Epistemic modal logic Kripke semantics Deontic logic Jaakko Hintikka Logic Philosophy Mathematical logic
56	Worlds, Models, and Descriptions John F. Sowa Abstract. Since the pioneering work by Kripke and Montague, the term possible world has appeared in most theories of formal semantics for modal logics, natural languages, and Add to Reading List Source URL: www.jfsowa.com Language: English - Date: 2006-11-26 09:39:33 Modal logic Philosophical logic Semantics Philosophy of language Possibility Kripke semantics Modal realism Accessibility relation Possible world Logic Philosophy Mathematical logic
57	Semantics and Ontology in Quantified Modal Logic Stefano Borgo and Claudio Masolo Laboratory for Applied Ontology, ISTC-CNR, Trento, Italy {borgo, masolo}@loa-cnr.it Philosophical logic studies the relationships between Add to Reading List Source URL: www.loa.istc.cnr.it Language: English - Date: 2011-09-21 10:21:33 Philosophical logic Model theory Possibility Predicate logic Kripke semantics Possible world Mereology Accessibility relation Interpretation Logic Mathematical logic Modal logic
58	Reasoning About the Beliefs of Agents in Multi-Agent Domains in the Presence of State Constraints: The Action Language mAL Chitta Baral1 , Gregory Gelfond1 , Enrico Pontelli2 , and Tran Cao Son2 1 Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2013-08-20 15:39:34 Modal logic Model theory Symbol Kripke semantics Epistemic modal logic Interpretation Dynamical system Logic Mathematical logic Philosophical logic
59	Using Answer Set Programming to model multi-agent scenarios involving agents’ knowledge about other’s knowledge Chitta Baral, Gregory Gelfond Tran Cao Son, Enrico Pontelli Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2011-06-04 22:05:46 Modal logic Artificial intelligence Knowledge representation Kripke semantics Frame problem Entailment Epistemic modal logic Common knowledge Stable model semantics Logic Philosophical logic Logic programming
60	JAF26/Weak Arithmetics Days Seville, June 11–13, 2007 Self-applied proof verification (Extended abstract)? Add to Reading List Source URL: www.multimedialibrary.com Language: English - Date: 2014-03-05 12:52:10 Philosophical logic Model theory Predicate logic Metalogic Mathematical proof Kripke semantics Correctness Quantification Function Logic Mathematics Mathematical logic